Standard ML - PDFSEARCH.IO - Document Search Engine

Standard ML
Results: 230

#	Item
111	A Modality for Safe Resource Sharing and Code Reentrancy ? Rui Shi1 , Dengping Zhu2 , and Hongwei Xi3 1 Yahoo! Inc. Add to Reading List Source URL: cs-www.bu.edu Language: English - Date: 2010-08-06 16:36:27 Computing Symbol Standard ML ATS Functional languages Software engineering Computer programming
112	Modular Type Classes Derek Dreyer Robert Harper Toyota Technological Institute at Chicago Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2008-08-07 13:41:05 Software engineering Programming language theory Deduction Functional programming Type class Entailment Standard ML Type system Sheaf Logic Type theory Data types
113	Tips for Computer Scientists on Standard ML (Revised) Mads Tofte Add to Reading List Source URL: www.itu.dk Language: English - Date: 2009-08-30 11:24:46 Procedural programming languages Functional languages Data types C++ Type theory Standard ML C++ classes Declaration ALGOL 68 Software engineering Computing Computer programming
114	Contrasting Exceptions and Continuations Hayo Thielecke School of Computer Science University of Birmingham Birmingham B15 2TT Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2001-10-19 09:34:25 Functional languages Procedural programming languages Control flow Lisp programming language Subroutines Continuation Operational semantics Exception handling Standard ML Software engineering Computing Computer programming
115	Commentary on Standard ML Robin Milner Laboratory for Foundations of Computer Science Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, Scotland Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-10-12 10:57:16 Functional languages Procedural programming languages Meaning Philosophical logic Type theory ML Programming language Semantics Soundness Logic Programming language theory Software engineering
116	Typed λ-calculus: course notes P. B. Levy University of Birmingham 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-04-11 03:52:53 Type theory Formal methods Theoretical computer science Procedural programming languages Proof theory Lambda calculus Type system Standard ML Curry–Howard correspondence Software engineering Programming language theory Mathematics
117 $CS109A ML Notes for the Week ofUsing ML ML can be used as an interactive language. We shall use a version running under UNIX, called SML/NJ or \Standard ML of New Jersey.$	CS109A ML Notes for the Week ofUsing ML ML can be used as an interactive language. We shall use a version running under UNIX, called SML/NJ or \Standard ML of New Jersey." Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 01:01:14 Procedural programming languages Functional languages Data types Type theory Standard ML C++ C++ classes Type system ?: Software engineering Programming language theory Computing
118	Fundamenta Informaticae XXI–IOS Press Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2007-08-15 03:03:16 Computing Standard ML Pointer Programming language semantics Software engineering Functional languages Computer programming
119	Truly Modular (Co)datatypes for Isabelle/HOL Jasmin Christian Blanchette1 , Johannes Hölzl1 , Andreas Lochbihler2 , Lorenz Panny1 , Andrei Popescu1,3 , and Dmitriy Traytel1 1 3 Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Recursion Theoretical computer science Computability theory Ordinal numbers Fold Constructible universe Corecursion Standard ML Lambda calculus Mathematical logic Software engineering Computing
120	A lexical analyzer generator for Standard ML. Version 1.6.0, October 1994 Andrew W. Appel1 James S. Mattson David R. Tarditi2 1 Add to Reading List Source URL: mlton.org Language: English - Date: 2014-02-17 13:56:37 Formal languages Compiler construction Parser generators Compiling tools Lex Standard ML String Regular expression Compiler Software engineering Computing Programming language implementation